;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o11, o12, o8, o13, o7, o2, o4, o5, o10, o14, o9, o1, o3, o6, o15]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("u3" 1 2)
;;   ("u1" 3 4)
;;   ("u3" 3 5)
;;   ("o13" 4 5)
;;   ("o12" 0 6)
;;   ("u2" 3 8)
;;   ("u3" 6 9)
;;   ("o12" 7 10)
;; --------------
;; core
;; --------------------------------
;;  name:o12 start:0 length:45
;;  name:o12 start:47 length:43
;;  name:o13 start:36 length:7
;;  name:u1 start:22 length:14
;;  name:u2 start:22 length:37
;;  name:u3 start:2 length:13
;;  name:u3 start:22 length:21
;;  name:u3 start:45 length:15
;; patternLength:90
;; --------------------------------
(0
 (
 ("u3" 5 18)
 ("u2" 6 24)
 ("u1" 23 24)
 ("o15" 4 27)
 ("u1" 25 39)
 ("u3" 25 46)
 ("o13" 39 46)
 ("o12" 3 48)
 ("o15" 33 49)
 ("o1" 35 53)
 ("u2" 25 62)
 ("u3" 48 63)
 ("u1" 52 66)
 ("o11" 22 72)
 ("o3" 35 80)
 ("o15" 56 83)
 ("o14" 86 88)
 ("o9" 56 91)
 ("o13" 74 92)
 ("o12" 50 93)
 ("o10" 52 93)
 ("o1" 78 93)
 ("u1" 88 103)
 ("o12" 94 108)
 ("o15" 88 113)
 ("u3" 96 113)
 ("o7" 44 114)
 ("o4" 79 119)
 ("u2" 81 145)
 ("o11" 88 150)
 ("o8" 83 152)
 ("o6" 56 155)
 ("o2" 88 182)
 ("o5" 89 185)
))
(1
 (
 ("o10" 10 11)
 ("o10" 30 31)
 ("u3" 29 42)
 ("o10" 43 44)
 ("u2" 1 48)
 ("u1" 40 48)
 ("u3" 43 48)
 ("o14" 3 57)
 ("o10" 56 57)
 ("o15" 20 62)
 ("u1" 49 63)
 ("o10" 68 69)
 ("u3" 49 70)
 ("o13" 63 70)
 ("o12" 27 72)
 ("o10" 81 82)
 ("u2" 49 86)
 ("u3" 72 87)
 ("o10" 93 95)
 ("u1" 84 101)
 ("o10" 105 107)
 ("o6" 47 112)
 ("o11" 13 116)
 ("o12" 74 117)
 ("o9" 95 117)
 ("o10" 117 118)
 ("o7" 21 120)
 ("o14" 62 126)
 ("o15" 86 135)
 ("o5" 100 135)
 ("o8" 76 140)
 ("o1" 96 142)
 ("o12" 118 154)
 ("o2" 97 157)
 ("o4" 85 173)
 ("o3" 88 196)
 ("u2" 102 211)
))
(2
 (
 ("u3" 4 17)
 ("u1" 24 38)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o12" 2 47)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o4" 17 63)
 ("o9" 36 74)
 ("o7" 11 88)
 ("o12" 49 92)
 ("o10" 21 95)
 ("o8" 80 107)
 ("o15" 16 108)
 ("u3" 63 114)
 ("o5" 89 114)
 ("o1" 59 116)
 ("o14" 82 119)
 ("o4" 74 121)
 ("u2" 62 134)
 ("o3" 74 142)
 ("o12" 93 144)
 ("u1" 85 158)
 ("o7" 92 162)
 ("o2" 56 163)
 ("o6" 77 172)
 ("o11" 100 174)
 ("o13" 96 182)
))
(3
 (
 ("u3" 13 26)
 ("u1" 33 47)
 ("o11" 6 48)
 ("u3" 33 54)
 ("o13" 47 54)
 ("o2" 52 54)
 ("o12" 11 56)
 ("o10" 26 64)
 ("u2" 33 70)
 ("u3" 56 71)
 ("o7" 26 72)
 ("o11" 51 93)
 ("o14" 10 96)
 ("o12" 58 101)
 ("o15" 94 102)
 ("u2" 71 103)
 ("o6" 13 106)
 ("o4" 80 107)
 ("o1" 38 119)
 ("o10" 89 126)
 ("o9" 83 131)
 ("o11" 97 134)
 ("u3" 74 136)
 ("o7" 98 147)
 ("o8" 76 148)
 ("u1" 77 155)
 ("o3" 49 158)
 ("o5" 87 191)
))
(4
 (
 ("u3" 4 17)
 ("u2" 1 23)
 ("u3" 18 23)
 ("u1" 24 38)
 ("o8" 26 41)
 ("o5" 30 42)
 ("o15" 3 44)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o12" 2 47)
 ("o6" 31 60)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o10" 23 77)
 ("o11" 23 77)
 ("o1" 47 82)
 ("o3" 31 83)
 ("o5" 79 86)
 ("o15" 46 89)
 ("o12" 49 92)
 ("u1" 44 94)
 ("o4" 6 99)
 ("o8" 86 105)
 ("o6" 89 111)
 ("o2" 58 116)
 ("o12" 93 117)
 ("o7" 34 131)
 ("o13" 57 131)
 ("o15" 90 133)
 ("o14" 57 136)
 ("o9" 90 138)
 ("u2" 69 141)
 ("u3" 89 160)
))
(5
 (
 ("u3" 13 26)
 ("u2" 13 32)
 ("u3" 27 32)
 ("o5" 21 44)
 ("o13" 41 46)
 ("u1" 33 47)
 ("u3" 33 54)
 ("o13" 47 54)
 ("o12" 11 56)
 ("o9" 34 63)
 ("o4" 29 66)
 ("o8" 17 70)
 ("u2" 33 70)
 ("u3" 56 71)
 ("o11" 16 82)
 ("o5" 66 91)
 ("u1" 83 91)
 ("o12" 58 101)
 ("o10" 6 108)
 ("o3" 71 112)
 ("o9" 89 122)
 ("o4" 92 123)
 ("o2" 37 125)
 ("o1" 41 131)
 ("u2" 90 136)
 ("o7" 88 143)
 ("o15" 43 145)
 ("o6" 83 156)
 ("o14" 72 159)
 ("o11" 99 177)
))
(6
 (
 ("o12" 6 14)
 ("u3" 17 30)
 ("o8" 9 36)
 ("u2" 11 36)
 ("o13" 9 41)
 ("u1" 37 51)
 ("o2" 34 56)
 ("u3" 37 58)
 ("o13" 51 58)
 ("o12" 15 60)
 ("o7" 40 73)
 ("u2" 37 74)
 ("u3" 60 75)
 ("o8" 43 78)
 ("o11" 49 82)
 ("o13" 59 101)
 ("o2" 77 102)
 ("u1" 73 104)
 ("o14" 80 104)
 ("o12" 62 105)
 ("o9" 76 105)
 ("o12" 106 115)
 ("o15" 39 122)
 ("o10" 42 123)
 ("o6" 48 127)
 ("u3" 87 129)
 ("o8" 85 130)
 ("u2" 75 134)
 ("o1" 97 138)
 ("o4" 78 161)
 ("o5" 82 161)
 ("o3" 96 201)
))
(7
 (
 ("u3" 2 15)
 ("o13" 12 35)
 ("u1" 22 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o15" 37 43)
 ("o12" 0 45)
 ("u1" 37 51)
 ("o6" 18 52)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o8" 23 66)
 ("o9" 64 66)
 ("o1" 33 67)
 ("o4" 29 76)
 ("o3" 64 76)
 ("o15" 78 87)
 ("o12" 47 90)
 ("u1" 78 93)
 ("u2" 60 102)
 ("o11" 57 103)
 ("o6" 74 110)
 ("o7" 82 128)
 ("o10" 80 147)
 ("o14" 74 161)
 ("o2" 73 167)
))
(8
 (
 ("u3" 2 15)
 ("o2" 25 35)
 ("o13" 33 35)
 ("u1" 22 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o1" 31 45)
 ("o6" 30 53)
 ("o7" 52 57)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o13" 58 60)
 ("o3" 45 77)
 ("o14" 52 77)
 ("o8" 60 78)
 ("o2" 71 82)
 ("o13" 83 86)
 ("o15" 45 89)
 ("o12" 47 90)
 ("u1" 82 92)
 ("o1" 85 106)
 ("o5" 79 112)
 ("o4" 85 113)
 ("o9" 48 120)
 ("o6" 87 121)
 ("o12" 91 134)
 ("o10" 43 137)
 ("u2" 81 176)
))
(9
 (
 ("u3" 2 15)
 ("o13" 5 33)
 ("u1" 22 36)
 ("o9" 27 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o4" 13 50)
 ("o1" 4 54)
 ("o13" 44 58)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o15" 44 70)
 ("o7" 47 70)
 ("o14" 11 71)
 ("o9" 61 72)
 ("o10" 66 74)
 ("o8" 15 78)
 ("u2" 80 81)
 ("o13" 60 85)
 ("o12" 47 90)
 ("o5" 72 90)
 ("o2" 52 92)
 ("u1" 37 98)
 ("o4" 59 105)
 ("o11" 70 105)
 ("o1" 59 108)
 ("o6" 87 125)
 ("u3" 67 134)
 ("o3" 80 145)
 ("o8" 86 148)
 ("o12" 91 151)
))
(10
 (
 ("u3" 9 22)
 ("u1" 2 28)
 ("u2" 17 28)
 ("u1" 29 43)
 ("u3" 29 50)
 ("o13" 43 50)
 ("o12" 7 52)
 ("o15" 43 56)
 ("o2" 49 62)
 ("u2" 29 66)
 ("u3" 52 67)
 ("o7" 69 72)
 ("o5" 61 96)
 ("o12" 54 97)
 ("o8" 57 101)
 ("o9" 39 106)
 ("o13" 94 107)
 ("u3" 100 108)
 ("o14" 59 109)
 ("o3" 37 129)
 ("o10" 49 132)
 ("u1" 80 133)
 ("o12" 98 136)
 ("o11" 71 138)
 ("o1" 57 141)
 ("o4" 75 159)
 ("o6" 87 173)
))
(11
 (
 ("u3" 2 15)
 ("u2" 12 21)
 ("o14" 29 32)
 ("u1" 22 36)
 ("o10" 10 39)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o2" 5 49)
 ("o14" 56 58)
 ("u2" 22 59)
 ("u3" 45 60)
 ("u3" 62 64)
 ("o11" 59 66)
 ("o6" 42 67)
 ("o10" 49 74)
 ("o15" 18 81)
 ("o4" 64 85)
 ("o7" 62 88)
 ("o12" 47 90)
 ("o5" 36 96)
 ("u1" 46 97)
 ("o2" 61 102)
 ("o13" 52 108)
 ("o3" 26 114)
 ("u2" 77 124)
 ("o9" 63 136)
))
(12
 (
 ("u3" 12 25)
 ("o4" 2 38)
 ("o8" 4 44)
 ("o13" 28 45)
 ("u1" 32 46)
 ("u3" 32 53)
 ("o13" 46 53)
 ("o12" 10 55)
 ("u2" 32 69)
 ("o4" 40 69)
 ("u3" 55 70)
 ("o5" 41 93)
 ("o8" 52 99)
 ("o12" 57 100)
 ("o4" 72 103)
 ("u3" 77 105)
 ("o9" 84 110)
 ("o1" 110 126)
 ("o7" 7 130)
 ("o11" 91 131)
 ("o10" 107 138)
 ("o4" 104 141)
 ("u2" 112 145)
 ("o12" 108 154)
 ("o6" 108 156)
 ("o3" 29 159)
 ("o14" 57 165)
 ("o2" 104 165)
 ("o8" 109 166)
 ("u1" 97 180)
 ("o15" 113 206)
))
(13
 (
 ("u3" 4 17)
 ("o13" 20 27)
 ("u1" 24 38)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o12" 2 47)
 ("o15" 29 53)
 ("o13" 53 56)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o11" 6 72)
 ("o14" 5 75)
 ("o13" 72 78)
 ("o5" 19 83)
 ("o8" 72 86)
 ("o12" 49 92)
 ("u3" 63 98)
 ("o15" 84 103)
 ("o13" 94 106)
 ("o9" 83 122)
 ("o7" 40 126)
 ("u2" 75 130)
 ("o3" 33 134)
 ("o2" 68 134)
 ("o1" 95 140)
 ("o10" 50 143)
 ("u1" 73 145)
 ("o14" 78 146)
 ("o11" 80 155)
))
(14
 (
 ("u3" 10 23)
 ("u1" 7 29)
 ("u1" 30 44)
 ("u3" 30 51)
 ("o13" 44 51)
 ("o12" 8 53)
 ("u2" 30 67)
 ("u3" 53 68)
 ("o9" 12 77)
 ("u3" 69 82)
 ("o2" 83 84)
 ("o4" 7 85)
 ("o1" 14 90)
 ("o12" 55 98)
 ("o11" 13 116)
 ("o13" 84 122)
 ("o14" 27 126)
 ("u1" 76 127)
 ("o8" 99 129)
 ("o10" 5 131)
 ("o5" 67 139)
 ("o6" 95 140)
 ("o9" 87 145)
 ("o4" 86 148)
 ("o7" 49 151)
 ("o15" 107 151)
 ("u2" 68 153)
 ("u3" 114 162)
 ("o1" 108 199)
 ("o12" 114 208)
 ("o3" 114 208)
))
(15
 (
 ("o10" 15 17)
 ("u3" 10 23)
 ("u2" 19 23)
 ("o10" 38 42)
 ("u1" 30 44)
 ("u3" 30 51)
 ("o13" 44 51)
 ("o12" 8 53)
 ("u2" 30 67)
 ("u3" 53 68)
 ("o10" 66 69)
 ("o1" 24 70)
 ("u2" 76 79)
 ("u3" 69 80)
 ("o2" 26 81)
 ("o12" 55 98)
 ("o10" 99 101)
 ("u2" 98 102)
 ("u1" 85 103)
 ("o5" 100 107)
 ("o13" 59 115)
 ("o6" 39 116)
 ("o3" 40 121)
 ("o12" 99 127)
 ("o8" 91 136)
 ("o1" 105 143)
 ("o15" 69 147)
 ("o7" 72 151)
 ("o4" 64 152)
 ("o2" 97 152)
 ("o11" 96 156)
 ("o14" 92 174)
 ("o9" 92 200)
))
(16
 (
 ("u3" 5 18)
 ("o15" 6 18)
 ("o8" 16 20)
 ("u1" 25 39)
 ("o8" 35 39)
 ("u3" 25 46)
 ("o13" 39 46)
 ("o12" 3 48)
 ("o15" 38 57)
 ("o8" 54 58)
 ("u2" 25 62)
 ("u3" 48 63)
 ("o8" 64 67)
 ("u1" 65 72)
 ("o1" 57 78)
 ("o8" 79 84)
 ("o12" 50 93)
 ("o15" 73 93)
 ("o10" 67 94)
 ("o12" 94 95)
 ("o11" 82 96)
 ("o13" 67 97)
 ("o8" 98 100)
 ("u2" 63 111)
 ("o3" 68 114)
 ("o5" 72 115)
 ("o8" 111 116)
 ("o6" 78 128)
 ("u3" 64 136)
 ("o15" 109 140)
 ("o14" 102 147)
 ("o7" 85 169)
 ("o4" 95 178)
 ("o2" 97 182)
 ("o9" 108 209)
))
(17
 (
 ("u3" 2 15)
 ("o9" 27 30)
 ("u1" 22 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o5" 27 46)
 ("o15" 32 56)
 ("o7" 38 57)
 ("u2" 22 59)
 ("o10" 35 59)
 ("u3" 45 60)
 ("o9" 64 67)
 ("o4" 63 78)
 ("u1" 69 81)
 ("o2" 22 85)
 ("o3" 78 85)
 ("o12" 47 90)
 ("o14" 37 93)
 ("o6" 59 96)
 ("o8" 21 97)
 ("u3" 84 98)
 ("o1" 79 102)
 ("o5" 87 103)
 ("o10" 88 109)
 ("u2" 60 129)
 ("o13" 64 136)
))
(18
 (
 ("o15" 1 2)
 ("o15" 6 10)
 ("o15" 12 17)
 ("u3" 7 20)
 ("o15" 19 20)
 ("o15" 21 22)
 ("o15" 24 27)
 ("o15" 30 34)
 ("o15" 35 37)
 ("u1" 27 41)
 ("o15" 40 44)
 ("u3" 27 48)
 ("o13" 41 48)
 ("o15" 46 48)
 ("o12" 5 50)
 ("o15" 49 52)
 ("o15" 56 58)
 ("o5" 7 61)
 ("o15" 60 61)
 ("u2" 27 64)
 ("o3" 55 64)
 ("u3" 50 65)
 ("o15" 64 67)
 ("o15" 69 71)
 ("o1" 42 74)
 ("o15" 73 75)
 ("o15" 76 78)
 ("o6" 7 81)
 ("o15" 79 83)
 ("o15" 85 87)
 ("o15" 91 93)
 ("o12" 52 95)
 ("o12" 96 97)
 ("o15" 94 98)
 ("o15" 99 101)
 ("o9" 8 105)
 ("o15" 102 105)
 ("o2" 51 115)
 ("o5" 67 122)
 ("u3" 66 126)
 ("o11" 29 127)
 ("o14" 52 127)
 ("o4" 17 129)
 ("o7" 72 135)
 ("o1" 98 137)
 ("o10" 71 142)
 ("u1" 81 144)
 ("o8" 67 163)
 ("o6" 88 164)
))
(19
 (
 ("u3" 8 21)
 ("u1" 22 27)
 ("o3" 31 32)
 ("o13" 39 41)
 ("u1" 28 42)
 ("u3" 28 49)
 ("o13" 42 49)
 ("o12" 6 51)
 ("o4" 3 55)
 ("o11" 7 55)
 ("u2" 28 65)
 ("o3" 61 65)
 ("u3" 51 66)
 ("o15" 38 74)
 ("o1" 17 76)
 ("o4" 57 80)
 ("o6" 61 88)
 ("o12" 53 96)
 ("o3" 97 100)
 ("u2" 91 101)
 ("o11" 61 103)
 ("o12" 97 105)
 ("o10" 46 121)
 ("o4" 81 124)
 ("o7" 66 125)
 ("o14" 82 127)
 ("u3" 67 129)
 ("o5" 24 133)
 ("o2" 101 141)
 ("o8" 50 150)
 ("o1" 92 161)
 ("o9" 97 167)
))
(20
 (
 ("u2" 13 20)
 ("o1" 18 26)
 ("u3" 28 41)
 ("u1" 14 47)
 ("u2" 44 47)
 ("o7" 21 52)
 ("o1" 45 54)
 ("u1" 48 62)
 ("o3" 31 66)
 ("u3" 48 69)
 ("o13" 62 69)
 ("o12" 26 71)
 ("o10" 52 73)
 ("o14" 72 83)
 ("o1" 75 84)
 ("u2" 48 85)
 ("u3" 71 86)
 ("u2" 86 88)
 ("o7" 64 96)
 ("o8" 42 101)
 ("o1" 100 108)
 ("o4" 88 115)
 ("o12" 73 116)
 ("o6" 27 117)
 ("u2" 108 119)
 ("u1" 85 125)
 ("o7" 118 140)
 ("o3" 110 141)
 ("o11" 108 158)
 ("o9" 104 193)
 ("o15" 102 195)
 ("o2" 72 212)
 ("o13" 113 227)
 ("o5" 116 231)
))
(21
 (
 ("u1" 13 14)
 ("u3" 5 18)
 ("u2" 14 24)
 ("o6" 13 28)
 ("u1" 25 39)
 ("u3" 25 46)
 ("o13" 39 46)
 ("o12" 3 48)
 ("u1" 44 48)
 ("o6" 37 59)
 ("u2" 25 62)
 ("u1" 60 62)
 ("u3" 48 63)
 ("o2" 16 66)
 ("u2" 63 73)
 ("u1" 78 80)
 ("o6" 73 91)
 ("o12" 50 93)
 ("o10" 69 100)
 ("o14" 63 105)
 ("o12" 94 106)
 ("u2" 81 108)
 ("o13" 80 110)
 ("o3" 76 115)
 ("u3" 64 117)
 ("o5" 83 124)
 ("o9" 44 130)
 ("o15" 79 134)
 ("o2" 79 134)
 ("o1" 93 139)
 ("o11" 66 147)
 ("o8" 87 150)
))
(22
 (
 ("u3" 9 22)
 ("o3" 22 28)
 ("o3" 37 41)
 ("u1" 29 43)
 ("o7" 25 44)
 ("o11" 6 50)
 ("u3" 29 50)
 ("o13" 43 50)
 ("o12" 7 52)
 ("o3" 50 56)
 ("u2" 29 66)
 ("u3" 52 67)
 ("o3" 67 73)
 ("o8" 54 76)
 ("o15" 59 77)
 ("u3" 68 83)
 ("o7" 73 84)
 ("o11" 58 90)
 ("o3" 88 92)
 ("o12" 54 97)
 ("o2" 80 98)
 ("u2" 91 101)
 ("o14" 35 102)
 ("o3" 106 113)
 ("o1" 31 115)
 ("o9" 69 118)
 ("o6" 57 119)
 ("o5" 54 120)
 ("o7" 106 121)
 ("o13" 100 126)
 ("o4" 46 134)
 ("u1" 89 134)
 ("o12" 98 139)
 ("o10" 94 144)
 ("o11" 103 150)
))
(23
 (
 ("u3" 9 22)
 ("o6" 4 29)
 ("u1" 29 43)
 ("u3" 29 50)
 ("o3" 41 50)
 ("o13" 43 50)
 ("o12" 7 52)
 ("o13" 57 59)
 ("o6" 33 61)
 ("u2" 29 66)
 ("u3" 52 67)
 ("o6" 63 84)
 ("o4" 31 91)
 ("o10" 43 92)
 ("o5" 71 94)
 ("o12" 54 97)
 ("o2" 21 98)
 ("o13" 103 104)
 ("o3" 98 107)
 ("o6" 85 110)
 ("o1" 43 125)
 ("u2" 102 125)
 ("o7" 56 132)
 ("o9" 68 138)
 ("o12" 98 142)
 ("o15" 45 153)
 ("o8" 82 161)
 ("o11" 83 176)
 ("u1" 103 182)
 ("u3" 83 184)
 ("o14" 95 188)
))
(24
 (
 ("u3" 2 15)
 ("u2" 17 21)
 ("u3" 20 21)
 ("o10" 29 33)
 ("o13" 30 35)
 ("u1" 22 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o4" 8 46)
 ("o9" 47 50)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o14" 9 67)
 ("o10" 68 71)
 ("o8" 59 74)
 ("o11" 2 85)
 ("o4" 55 86)
 ("o6" 11 87)
 ("o12" 47 90)
 ("o5" 48 92)
 ("o3" 14 95)
 ("o1" 49 97)
 ("u1" 43 101)
 ("o12" 91 112)
 ("o2" 58 113)
 ("o14" 73 116)
 ("o7" 41 122)
 ("o15" 64 132)
 ("o11" 86 160)
))
(25
 (
 ("u3" 3 16)
 ("u1" 21 22)
 ("u1" 23 37)
 ("u3" 23 44)
 ("o13" 37 44)
 ("o12" 1 46)
 ("o1" 50 51)
 ("u2" 23 60)
 ("u3" 46 61)
 ("o11" 35 62)
 ("o14" 51 74)
 ("u1" 61 79)
 ("u2" 73 82)
 ("o12" 48 91)
 ("o1" 96 97)
 ("o7" 37 102)
 ("o3" 84 102)
 ("o4" 77 104)
 ("o6" 73 106)
 ("o12" 92 106)
 ("o11" 80 109)
 ("o8" 52 112)
 ("o5" 77 120)
 ("o9" 38 124)
 ("u1" 107 133)
 ("o15" 60 138)
 ("u3" 82 144)
 ("o13" 94 148)
 ("o2" 79 171)
 ("o10" 86 190)
))
(26
 (
 ("u3" 6 19)
 ("u2" 18 25)
 ("u1" 26 40)
 ("o5" 43 45)
 ("u3" 26 47)
 ("o13" 40 47)
 ("o12" 4 49)
 ("u2" 26 63)
 ("u3" 49 64)
 ("o9" 13 70)
 ("o10" 60 70)
 ("o1" 72 73)
 ("o3" 65 85)
 ("o8" 53 86)
 ("o7" 74 92)
 ("o12" 51 94)
 ("o4" 51 94)
 ("o6" 67 94)
 ("u1" 71 111)
 ("o15" 53 121)
 ("o9" 75 130)
 ("o12" 95 140)
 ("o11" 94 159)
 ("o14" 85 163)
 ("u2" 98 176)
))
(27
 (
 ("u3" 4 17)
 ("o8" 16 25)
 ("o1" 13 27)
 ("o2" 3 31)
 ("u1" 24 38)
 ("o6" 1 43)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o1" 38 46)
 ("o12" 2 47)
 ("o5" 7 50)
 ("o8" 38 53)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o2" 32 66)
 ("o14" 7 70)
 ("u2" 72 76)
 ("o1" 67 77)
 ("o7" 36 82)
 ("o9" 47 83)
 ("o8" 70 83)
 ("o6" 44 84)
 ("o12" 49 92)
 ("o10" 43 93)
 ("o12" 93 97)
 ("o2" 70 100)
 ("o3" 19 101)
 ("o1" 90 103)
 ("o5" 60 122)
 ("o11" 86 124)
 ("o6" 86 126)
 ("u1" 60 128)
 ("o4" 43 129)
 ("o14" 77 129)
 ("o15" 37 130)
 ("o13" 88 135)
))
(28
 (
 ("u2" 5 14)
 ("u3" 7 20)
 ("u2" 17 26)
 ("u3" 21 26)
 ("u1" 27 41)
 ("o15" 28 43)
 ("o1" 30 46)
 ("u3" 27 48)
 ("o13" 41 48)
 ("o12" 5 50)
 ("o8" 16 54)
 ("o10" 15 55)
 ("u2" 27 64)
 ("o11" 48 64)
 ("u3" 50 65)
 ("o7" 9 73)
 ("u2" 65 73)
 ("o2" 41 84)
 ("u2" 79 86)
 ("o15" 69 87)
 ("u2" 88 94)
 ("o9" 32 95)
 ("o12" 52 95)
 ("o8" 69 95)
 ("o4" 72 102)
 ("o12" 96 104)
 ("o10" 68 106)
 ("u2" 99 106)
 ("u1" 88 109)
 ("o5" 24 111)
 ("o1" 89 111)
 ("o3" 70 117)
 ("o14" 28 125)
 ("o7" 76 143)
 ("o6" 89 168)
 ("o13" 86 170)
))
(29
 (
 ("u3" 9 22)
 ("o13" 31 42)
 ("u1" 29 43)
 ("u3" 29 50)
 ("o13" 43 50)
 ("o12" 7 52)
 ("o8" 28 55)
 ("u2" 29 66)
 ("u3" 52 67)
 ("o3" 52 90)
 ("o12" 54 97)
 ("o7" 68 99)
 ("o14" 69 99)
 ("o8" 99 119)
 ("u3" 68 121)
 ("u1" 44 124)
 ("o2" 55 131)
 ("o11" 71 134)
 ("o1" 38 155)
 ("u2" 97 156)
 ("o4" 73 184)
 ("o6" 87 195)
 ("o15" 96 202)
 ("o5" 111 235)
))
(30
 (
 ("u3" 4 17)
 ("o8" 3 30)
 ("o10" 20 34)
 ("o15" 14 36)
 ("u1" 24 38)
 ("o7" 34 42)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o11" 33 46)
 ("o12" 2 47)
 ("o5" 11 48)
 ("o4" 6 55)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o8" 31 72)
 ("o10" 51 72)
 ("o15" 55 72)
 ("o14" 38 75)
 ("o7" 69 79)
 ("u1" 39 81)
 ("o2" 26 86)
 ("o12" 49 92)
 ("o11" 73 94)
 ("o5" 62 102)
 ("o10" 89 103)
 ("o4" 56 108)
 ("o8" 73 110)
 ("o3" 67 121)
 ("u3" 63 128)
 ("o9" 86 128)
 ("o6" 85 132)
 ("o12" 93 142)
 ("o1" 86 154)
 ("o13" 76 160)
))
(31
 (
 ("u3" 4 17)
 ("o13" 1 37)
 ("u1" 24 38)
 ("o10" 29 41)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o12" 2 47)
 ("o8" 6 50)
 ("u2" 24 61)
 ("o5" 39 61)
 ("u3" 47 62)
 ("o10" 59 74)
 ("o11" 6 76)
 ("o9" 11 77)
 ("o15" 34 79)
 ("o3" 30 81)
 ("o8" 56 82)
 ("o12" 49 92)
 ("o13" 46 94)
 ("o2" 16 102)
 ("o10" 101 108)
 ("u2" 81 112)
 ("o5" 86 117)
 ("o14" 16 122)
 ("o12" 100 125)
 ("o8" 89 129)
 ("o13" 96 129)
 ("u3" 63 134)
 ("o11" 87 141)
 ("o3" 98 150)
 ("o9" 88 151)
 ("o4" 55 162)
 ("o7" 74 162)
 ("o1" 97 170)
 ("u1" 101 188)
 ("o6" 90 200)
))
(32
 (
 ("u3" 2 15)
 ("u1" 11 21)
 ("u1" 22 36)
 ("o3" 33 41)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o7" 2 49)
 ("o5" 33 52)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o2" 51 62)
 ("o1" 46 64)
 ("u2" 60 65)
 ("o9" 59 70)
 ("o3" 69 78)
 ("o4" 43 80)
 ("o13" 58 80)
 ("o6" 17 86)
 ("u1" 47 86)
 ("o5" 74 87)
 ("o12" 47 90)
 ("o14" 12 97)
 ("o7" 52 101)
 ("o11" 32 105)
 ("o10" 68 106)
 ("u3" 61 119)
 ("o15" 73 125)
 ("u2" 82 133)
))
(33
 (
 ("o14" 3 4)
 ("o14" 9 12)
 ("o2" 4 13)
 ("u3" 2 15)
 ("o14" 17 22)
 ("o2" 14 27)
 ("o14" 31 32)
 ("u1" 22 36)
 ("o3" 13 38)
 ("o14" 38 39)
 ("o7" 27 40)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o14" 43 47)
 ("o2" 38 49)
 ("o14" 56 57)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o14" 62 65)
 ("o4" 7 66)
 ("o2" 53 73)
 ("o14" 72 74)
 ("o7" 57 75)
 ("o8" 4 77)
 ("o15" 39 79)
 ("o14" 78 83)
 ("o14" 87 89)
 ("o12" 47 90)
 ("u3" 61 92)
 ("o9" 86 93)
 ("o5" 40 94)
 ("o3" 71 95)
 ("o2" 80 96)
 ("o1" 83 100)
 ("o13" 55 114)
 ("o12" 91 114)
 ("o6" 29 116)
 ("u2" 85 118)
 ("o11" 17 124)
 ("o4" 73 132)
 ("u1" 42 141)
 ("o8" 84 152)
))
(34
 (
 ("u3" 6 19)
 ("u3" 20 25)
 ("u1" 26 40)
 ("o2" 37 46)
 ("u3" 26 47)
 ("o13" 40 47)
 ("o12" 4 49)
 ("u2" 26 63)
 ("u3" 49 64)
 ("o9" 69 72)
 ("u3" 65 76)
 ("o1" 26 77)
 ("o6" 1 79)
 ("o4" 17 84)
 ("o12" 51 94)
 ("o2" 89 94)
 ("o15" 88 112)
 ("o10" 95 115)
 ("o11" 63 117)
 ("u3" 81 129)
 ("o5" 67 130)
 ("o13" 51 132)
 ("u1" 71 134)
 ("o7" 53 135)
 ("o6" 80 140)
 ("o3" 75 145)
 ("o8" 61 160)
 ("o14" 93 166)
 ("o12" 95 169)
 ("o4" 99 173)
 ("u2" 95 189)
))
(35
 (
 ("u3" 2 15)
 ("u2" 11 21)
 ("u1" 12 21)
 ("u3" 16 21)
 ("o13" 22 34)
 ("u1" 22 36)
 ("o11" 8 38)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o4" 9 44)
 ("o12" 0 45)
 ("o1" 35 50)
 ("o6" 12 54)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o13" 50 61)
 ("o7" 15 67)
 ("o11" 46 73)
 ("o9" 56 75)
 ("o3" 59 78)
 ("o8" 76 85)
 ("o10" 31 87)
 ("o1" 81 88)
 ("o15" 9 89)
 ("o12" 47 90)
 ("u2" 68 90)
 ("o13" 82 91)
 ("o4" 59 93)
 ("o6" 65 96)
 ("o11" 79 110)
 ("u3" 72 116)
 ("o5" 59 121)
 ("o2" 49 122)
 ("o7" 82 134)
 ("u1" 74 137)
 ("o14" 76 138)
))
(36
 (
 ("o12" 2 7)
 ("u3" 6 9)
 ("o4" 15 20)
 ("u3" 10 23)
 ("o2" 28 29)
 ("o4" 36 40)
 ("u1" 30 44)
 ("o2" 46 48)
 ("u3" 30 51)
 ("o13" 44 51)
 ("o12" 8 53)
 ("o4" 48 54)
 ("o5" 30 56)
 ("o14" 17 58)
 ("o15" 27 59)
 ("o13" 63 64)
 ("u2" 30 67)
 ("u3" 53 68)
 ("o6" 62 68)
 ("o4" 70 71)
 ("o2" 73 75)
 ("u2" 78 85)
 ("o2" 92 93)
 ("o8" 16 94)
 ("o4" 90 95)
 ("o12" 55 98)
 ("o1" 8 104)
 ("o3" 48 108)
 ("o5" 87 110)
 ("o14" 68 116)
 ("o7" 51 128)
 ("o9" 60 131)
 ("o10" 80 134)
 ("o12" 99 136)
 ("o11" 53 165)
))
(37
 (
 ("u3" 1 10)
 ("o13" 12 21)
 ("u3" 11 24)
 ("o13" 30 44)
 ("u1" 31 45)
 ("u3" 31 52)
 ("o13" 45 52)
 ("o12" 9 54)
 ("u2" 31 68)
 ("u3" 54 69)
 ("o13" 56 71)
 ("o10" 84 90)
 ("o4" 56 95)
 ("o13" 77 95)
 ("o12" 56 99)
 ("o3" 10 103)
 ("o15" 16 103)
 ("u3" 70 112)
 ("o2" 40 113)
 ("o8" 28 117)
 ("o12" 100 121)
 ("o7" 51 123)
 ("u1" 61 146)
 ("o1" 65 146)
 ("o6" 80 147)
 ("o9" 85 148)
 ("o11" 60 160)
 ("o5" 86 163)
 ("u2" 93 177)
))
(38
 (
 ("u3" 4 17)
 ("o1" 21 29)
 ("o3" 27 29)
 ("o15" 18 32)
 ("u1" 24 38)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o12" 2 47)
 ("o6" 30 55)
 ("o3" 53 59)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o1" 60 66)
 ("o11" 14 67)
 ("o14" 30 69)
 ("o15" 52 74)
 ("o3" 83 85)
 ("o12" 49 92)
 ("o1" 93 100)
 ("o7" 54 105)
 ("u3" 97 106)
 ("o6" 85 109)
 ("o5" 72 114)
 ("o4" 97 114)
 ("o15" 96 116)
 ("o10" 92 117)
 ("o13" 46 119)
 ("u1" 55 128)
 ("o11" 75 130)
 ("o8" 86 130)
 ("o14" 94 136)
 ("o9" 92 158)
 ("o2" 97 174)
 ("u2" 86 186)
))
(39
 (
 ("u3" 6 19)
 ("u2" 20 25)
 ("o13" 33 39)
 ("u1" 26 40)
 ("u3" 26 47)
 ("o13" 40 47)
 ("o12" 4 49)
 ("o15" 35 50)
 ("o8" 9 62)
 ("u2" 26 63)
 ("u3" 49 64)
 ("o5" 12 71)
 ("o2" 22 74)
 ("u2" 64 78)
 ("o6" 51 90)
 ("o12" 51 94)
 ("o3" 52 95)
 ("o1" 57 98)
 ("o7" 86 98)
 ("o4" 80 101)
 ("o9" 22 104)
 ("o15" 88 110)
 ("u2" 95 110)
 ("o11" 56 119)
 ("u3" 65 121)
 ("o8" 71 121)
 ("u1" 69 132)
 ("o5" 78 141)
 ("o14" 87 144)
 ("o10" 78 163)
))
(40
 (
 ("u3" 4 17)
 ("o8" 13 19)
 ("u1" 24 38)
 ("o8" 35 40)
 ("o11" 32 44)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o12" 2 47)
 ("o8" 50 54)
 ("o3" 24 59)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o5" 23 64)
 ("o8" 68 69)
 ("o9" 26 73)
 ("o1" 25 83)
 ("o8" 76 83)
 ("o14" 56 87)
 ("u3" 81 89)
 ("o12" 49 92)
 ("o10" 85 93)
 ("u1" 57 97)
 ("o11" 85 101)
 ("o12" 93 101)
 ("o8" 98 108)
 ("u2" 84 118)
 ("o5" 86 123)
 ("o4" 80 129)
 ("o2" 103 137)
 ("o3" 93 140)
 ("o6" 113 147)
 ("o13" 46 148)
 ("o1" 114 162)
 ("o9" 104 173)
 ("o7" 73 180)
 ("o15" 108 192)
))
(41
 (
 ("o12" 1 4)
 ("u3" 7 20)
 ("o4" 29 30)
 ("u1" 27 41)
 ("u3" 27 48)
 ("o13" 41 48)
 ("o12" 5 50)
 ("o7" 4 61)
 ("u2" 27 64)
 ("u3" 50 65)
 ("o4" 64 65)
 ("o5" 44 74)
 ("o6" 9 81)
 ("u2" 69 89)
 ("o4" 93 94)
 ("o12" 52 95)
 ("o8" 92 102)
 ("o1" 67 103)
 ("o14" 72 103)
 ("o3" 16 104)
 ("o11" 87 106)
 ("o15" 47 108)
 ("u3" 66 112)
 ("o13" 56 115)
 ("o9" 69 116)
 ("o2" 76 120)
 ("o7" 63 123)
 ("o12" 96 123)
 ("o10" 72 130)
 ("u1" 67 139)
 ("o6" 88 163)
))
(42
 (
 ("u3" 7 20)
 ("o1" 2 22)
 ("o4" 3 28)
 ("o2" 34 35)
 ("o13" 18 40)
 ("u1" 27 41)
 ("o1" 25 47)
 ("u3" 27 48)
 ("o13" 41 48)
 ("o12" 5 50)
 ("o4" 38 52)
 ("o11" 1 60)
 ("u2" 27 64)
 ("u3" 50 65)
 ("o14" 25 67)
 ("o2" 64 67)
 ("o15" 25 74)
 ("o1" 48 74)
 ("o3" 39 75)
 ("u3" 66 79)
 ("o4" 58 81)
 ("o6" 73 82)
 ("o9" 44 84)
 ("o5" 58 93)
 ("o12" 52 95)
 ("o1" 76 96)
 ("o8" 41 104)
 ("o4" 89 108)
 ("o7" 33 110)
 ("o11" 62 144)
 ("u1" 65 162)
 ("o15" 95 164)
 ("o13" 93 180)
))
(43
 (
 ("o2" 6 13)
 ("u3" 2 15)
 ("o2" 28 33)
 ("u1" 22 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("u1" 41 54)
 ("o2" 45 55)
 ("u2" 22 59)
 ("u3" 45 60)
 ("o15" 60 73)
 ("o11" 42 75)
 ("o14" 75 78)
 ("o2" 70 80)
 ("o5" 82 84)
 ("o7" 72 85)
 ("u3" 80 85)
 ("o8" 81 86)
 ("o12" 47 90)
 ("o10" 45 91)
 ("o6" 44 101)
 ("o4" 43 113)
 ("o9" 67 113)
 ("o1" 65 122)
 ("o13" 66 123)
 ("o3" 77 123)
 ("u2" 81 162)
 ("o12" 91 165)
))
(44
 (
 ("o1" 11 19)
 ("u3" 11 24)
 ("u1" 31 45)
 ("o1" 35 49)
 ("o3" 11 52)
 ("u3" 31 52)
 ("o13" 45 52)
 ("o12" 9 54)
 ("u2" 31 68)
 ("u3" 54 69)
 ("o1" 58 69)
 ("o5" 71 87)
 ("o8" 62 91)
 ("o1" 86 98)
 ("o12" 56 99)
 ("u3" 70 99)
 ("o3" 66 101)
 ("o10" 43 111)
 ("o15" 26 114)
 ("o6" 67 122)
 ("o11" 57 132)
 ("u2" 69 136)
 ("u1" 46 139)
 ("o12" 100 142)
 ("o9" 65 157)
 ("o7" 61 169)
 ("o13" 82 183)
 ("o2" 89 188)
 ("o4" 99 205)
))
(45
 (
 ("o12" 6 12)
 ("u3" 15 28)
 ("u1" 14 34)
 ("u1" 35 49)
 ("u3" 35 56)
 ("o13" 49 56)
 ("o12" 13 58)
 ("o6" 42 59)
 ("u2" 35 72)
 ("u3" 58 73)
 ("o4" 17 79)
 ("o5" 35 81)
 ("o13" 60 84)
 ("o11" 99 101)
 ("o12" 60 103)
 ("o2" 85 108)
 ("o1" 95 119)
 ("o15" 80 121)
 ("o10" 51 124)
 ("u2" 84 126)
 ("o6" 107 128)
 ("o9" 49 130)
 ("o12" 104 133)
 ("o7" 96 136)
 ("o4" 87 144)
 ("o3" 48 155)
 ("u1" 88 156)
 ("o8" 106 179)
 ("u3" 74 185)
 ("o14" 109 193)
))
(46
 (
 ("u3" 9 22)
 ("u2" 4 28)
 ("o13" 8 42)
 ("u1" 29 43)
 ("u3" 29 50)
 ("o13" 43 50)
 ("o12" 7 52)
 ("o10" 51 62)
 ("u2" 29 66)
 ("u3" 52 67)
 ("o15" 51 70)
 ("o4" 48 75)
 ("o2" 74 75)
 ("o5" 15 86)
 ("o14" 35 89)
 ("o8" 77 91)
 ("o3" 61 96)
 ("o9" 73 96)
 ("o12" 54 97)
 ("o11" 8 104)
 ("o12" 98 104)
 ("o1" 85 110)
 ("o6" 67 117)
 ("u1" 44 119)
 ("o13" 89 148)
 ("o7" 71 151)
 ("u2" 78 155)
 ("o5" 90 165)
))
(47
 (
 ("o9" 8 15)
 ("u3" 4 17)
 ("u3" 18 19)
 ("o3" 11 21)
 ("u2" 5 23)
 ("o9" 31 35)
 ("o14" 2 36)
 ("u1" 24 38)
 ("u3" 24 45)
 ("o13" 38 45)
 ("o3" 37 46)
 ("o12" 2 47)
 ("o6" 22 49)
 ("o8" 6 54)
 ("o9" 52 55)
 ("u2" 24 61)
 ("u3" 47 62)
 ("o9" 68 72)
 ("o2" 33 73)
 ("o3" 72 75)
 ("o4" 2 81)
 ("o14" 39 81)
 ("u3" 73 83)
 ("o7" 61 84)
 ("o10" 75 85)
 ("o9" 83 85)
 ("o12" 49 92)
 ("o5" 64 97)
 ("u3" 91 101)
 ("o6" 80 102)
 ("o8" 66 109)
 ("o1" 46 113)
 ("u2" 63 124)
 ("u1" 51 128)
 ("o13" 69 131)
 ("o14" 85 133)
 ("o15" 61 136)
 ("o4" 85 185)
))
(48
 (
 ("u3" 2 15)
 ("o11" 20 22)
 ("o2" 4 32)
 ("u1" 22 36)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o5" 11 44)
 ("o12" 0 45)
 ("o11" 46 47)
 ("o6" 25 56)
 ("o1" 5 59)
 ("u2" 22 59)
 ("o2" 34 59)
 ("u3" 45 60)
 ("o7" 57 67)
 ("o8" 15 73)
 ("o11" 75 78)
 ("u1" 51 79)
 ("o4" 70 85)
 ("o2" 61 88)
 ("o12" 47 90)
 ("o5" 55 94)
 ("u2" 60 104)
 ("o14" 71 106)
 ("o10" 81 118)
 ("u3" 61 126)
 ("o9" 51 129)
 ("o1" 60 131)
 ("o13" 80 162)
))
(49
 (
 ("u3" 2 15)
 ("o10" 2 29)
 ("o9" 15 35)
 ("o13" 29 35)
 ("u1" 22 36)
 ("o6" 38 40)
 ("u3" 22 43)
 ("o13" 36 43)
 ("o12" 0 45)
 ("o4" 34 51)
 ("o8" 38 52)
 ("o1" 28 53)
 ("o9" 42 54)
 ("u2" 22 59)
 ("o10" 30 59)
 ("u3" 45 60)
 ("o3" 46 66)
 ("o14" 58 69)
 ("o6" 74 76)
 ("o9" 65 80)
 ("o11" 79 80)
 ("o7" 81 87)
 ("o12" 47 90)
 ("o10" 60 90)
 ("o2" 59 91)
 ("u1" 37 95)
 ("o12" 91 96)
 ("o5" 65 106)
 ("o8" 89 107)
 ("o1" 78 108)
 ("o15" 49 112)
 ("u2" 60 116)
))
